Integrity Checking in Deductive Data Bases
نویسندگان
چکیده
We describe the theory and implementation of a general theorem-proving technique for checking integrity of deductive databases recently proposed by Sadri and Kowalski. The method uses an extension of the SLDNF proof procedure and achieves the effect of the simplification algorithms of Nicolas, Lloyd, Topor et al, and Decker by reasoning forwards from the update and thus focusing on the relevant parts of the database and the relevant constraints.
منابع مشابه
Update Control in Deductive Object Bases1
Deductive object bases are a combination of both deductive and objectoriented databases. This dissertation investigates the problem of update control for such databases. The data model is defined as an extreme case of a deductive database with only one extensional predicate and a multitude of axioms defining the object-oriented abstraction concepts. The advantages are twofold: a distinct concep...
متن کاملCompiling Integrity Checking into Update Procedures
Integrity checking has been investigated extensively in the field of deductive databases. Methods have been developed to optimise the checking of an update by specialising the constraints for the information that could have been affected by it. The optimisation has been applied to sets of updates resulting from the execution of unspecified update procedures. This paper investigates the compilat...
متن کاملThe Stable Closure Semantics for Active Knowledge Bases
Active knowledge bases result from the addition of action rules to ordinary knowledge bases, like relational or deductive databases and their (for instance, disjunctive) extensions. Action rules provide, e.g., for knowledge base updates on certain conditions, thus beeing able to enforce integrity constraints. But they can also call procedures, like running certain diagnostic tests, or turning s...
متن کاملChecking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a deductive system (DS). A DS verified by this method contains a set of first order production rules, and a description logic terminology that defines the domain problem. By building an ATMS-like theory the method is able to give an specification of all the initial Fact Bases (FBs)...
متن کاملEnforcement of Integrity Constraints in Recursive Databases
Integrity constraint(ic) enforcement forms an essential component in deductive database processing. Some interesting methods which enforce integrity constraints have been proposed by Topor, Lloyd, Decker, Kowalski, Sadri, Soper, Martens, Bruynooghe, Yum and Henschen. In this thesis we further analyze and develop efficient simplification algorithms and methods for the enforcement of integrity co...
متن کامل